Separability condition for composite systems of distinguishable fermions

We study characterization of separable (classically correlated) states for composite systems of distinguishable fermions. In the computation of entanglement formation for such systems where located subsystems are coupled by the canonical anticommutation relations (not by tensor product), the state decompositions to be taken should respect the univalence superselection rule. (The usual entanglement formation taking all the state decompositions measures non-separability of states between a given subsystem and its commutant and cannot detect non-separability between the CAR pair under our consideration properly.) We prove that any fermion hopping terms always induce non-separability. This feature contrasts with the case of tensor product systems where the states with bosonic hopping correlation may or may not be separable. If we transform a given bipartite fermion system into a tensor product system by JordanKlein-Wigner transformation, then any separable state for the former is also separable for the latter. We provide a class of U(1) gauge invariant mixed states that are non-separable for the former, however, separable for the latter. Mailing address: e-mail:[email protected]